Solid State Welding (Foundation)

Foundation of a Computable Solid

Correctness of algorithms in computational geometry are usually proved using the un-realistic Real RAM machine model of computation with the undesirable result that correct algorithms, when implemented, turn into unreliable programs. In this paper, we use a domain-theoretic approach to recursive analysis to develop the basis of an eeective and realistic framework for solid modeling. This framew...

Building from a Solid Foundation

W elcome to IT Professional’s eighth year. Let me begin by congratulating our outgoing editor in chief, Frank Ferrante, for his outstanding leadership during the past four years. During Frank’s tenure, IT Pro has become one of the IEEE Computer Society’s fastest growing and most widely read publications. Frank has agreed to join IT Pro’s Advisory Board, and will spearhead several important init...

Foundation of a Computable Solid Modelling

Joining of Al 6061 alloy to AISI 1018 steel by combined effects of fusion and solid state welding

The joining of a 6-mm thickness Al 6061 to AISI 1018 steel has been performed by the combined effects of fusion and solid state welding. The process is derived from friction stir welding (FSW) but with an adjustable offset of the probe location with respect to the butt line. Metallographic studies by optical microscopy, electron probe microscopy, and the utilization of the X-ray diffraction tec...

A Semantic Foundation for Hidden State

We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order store. Our proof involves solving a non-trivial recursive domain equation, and it helps identify some of the key ingredients for soundness.